COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	notes[w83,jmc]		On various business and scientific topics
C00004 ENDMK
C⊗;
notes[w83,jmc]		On various business and scientific topics

1983 Jan 3.	Adrian Walker, IBM, 256-6999 wants an Industrial
		Professorship, preferably for Spring 83.  He would
		teach "Expert systems and data bases"
		Has used Prolog and supported Porto.

1983 jan 3	Ping Wong wants 293 proj. Aero and Astro grad student.
		rotation number interval calculation

1983 mar 30	Definitions: Suppose we want to introduce the notion
of traffic light.  We may say that it consists of a red block on a
green block on other blocks.  However, we may regard the definition
as incomplete.  Namely, we can always add more properties.  The purpose
of a traffic light is ... .  The Beth theory of definition assumes
that definitions are completed.  What are the conditions that adding
more to a definition has to satisfy?